pre-equivalence relation

[数] 预等价关系